課程名稱 |
離散數學 Discrete Mathematics |
開課學期 |
104-2 |
授課對象 |
電機工程學系 |
授課教師 |
陳和麟 |
課號 |
EE2008 |
課程識別碼 |
901E21100 |
班次 |
02 |
學分 |
2 |
全/半年 |
半年 |
必/選修 |
必修 |
上課時間 |
星期四3,4(10:20~12:10) |
上課地點 |
明達205 |
備註 |
本課程以英語授課。本系學生優先修習 總人數上限:80人 |
Ceiba 課程網頁 |
http://ceiba.ntu.edu.tw/1042EE2008_02 |
課程簡介影片 |
|
核心能力關聯 |
核心能力與課程規劃關聯圖 |
課程大綱
|
為確保您我的權利,請尊重智慧財產權及不得非法影印
|
課程概述 |
TOPICS
1 Formal Logic
– Propositional Logic
– Predicate Logic
2 Sets, Functions and Relations
– Definitions
– Basic Cryptography
– The Growth of Functions
– Equivalence and Partial Ordering
3 Formal Reasoning Methods
– Methematical Induction
– Methods of Proof
– Program Verification
4 Recurrence Relations
– Linear Recurrence Relations
– Generating Functions
5 Graphs
– Definitions
– Connectivity
– Coloring |
課程目標 |
本課程主要目的,在於教授資訊科學中重要的數學觀念、模型、以及邏輯思考推論方式,以奠定未來學習資訊科學中各種理論以及實務課程的基礎。
|
課程要求 |
Homework 30%
Midterm 35%
Final exam 35%
|
預期每週課後學習時數 |
|
Office Hours |
每週五 15:00~16:00 |
指定閱讀 |
待補 |
參考書目 |
TEXTBOOK: DISCRETE MATHEMATICS AND ITS APPLICATIONS, 7TH EDITION, KENNETH H.
ROSEN, MCGRAW-HILL |
評量方式 (僅供參考) |
|
|